الكتب الالكترونية

عدد الكتب: 61 - 80 /104
978-3-540-28554-0
Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

اقرأ المزيد
978-3-540-72563-3
Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

اقرأ المزيد
978-3-540-69489-2
Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

اقرأ المزيد
978-1-4020-4223-2
Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

اقرأ المزيد
978-3-540-46102-9
Object-Oriented Information Systems

اقرأ المزيد
978-3-7643-7361-0
Ontologies for Agents: Theory and Experiences

On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number ...

اقرأ المزيد
978-3-540-70881-0
Perspectives of Systems Informatics

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...

اقرأ المزيد
978-3-540-34700-2
Petri Nets and Other Models of Concurrency - ICATPN 2006

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...

اقرأ المزيد
978-3-540-32260-3
Programming Multi-Agent Systems (vol. # 3346)

This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...

اقرأ المزيد
978-3-540-32039-5
Rapid Integration of Software Engineering Techniques (vol. # 3475)

This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...

اقرأ المزيد
978-3-540-34064-5
Rapid Integration of Software Engineering Techniques (vol. # 3943)

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

اقرأ المزيد
978-1-4020-5977-3
Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...

اقرأ المزيد
978-3-540-74615-7
Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

اقرأ المزيد
978-3-540-34664-7
Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

اقرأ المزيد
978-1-84628-075-7
Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

اقرأ المزيد
978-3-540-73031-6
Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

اقرأ المزيد
978-0-387-23803-6
Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

اقرأ المزيد
978-3-540-48213-0
SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

اقرأ المزيد
978-3-540-31539-1
SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

اقرأ المزيد
978-3-540-74984-4
SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

اقرأ المزيد
عدد الكتب: 61 - 80 /104